Concurrent Segmentation and Localization for Tracking of Surgical Instruments

Real-time instrument tracking is a crucial requirement for various computer-assisted interventions. In order to overcome problems such as specular reflections and motion blur, we propose a novel method that takes advantage of the interdependency between localization and segmentation of the surgical tool. In particular, we reformulate the 2D instrument pose estimation as heatmap regression and thereby enable a concurrent, robust and near real-time regression of both tasks via deep learning. As demonstrated by our experimental results, this modeling leads to a significantly improved performance than directly regressing the tool position and allows our method to outperform the state of the art on a Retinal Microsurgery benchmark and the MICCAI EndoVis Challenge 2015.Comment: I. Laina and N. Rieke contributed equally to this work. Accepted to MICCAI 201

COTA: Improving the Speed and Accuracy of Customer Support through Ranking and Deep Networks

For a company looking to provide delightful user experiences, it is of paramount importance to take care of any customer issues. This paper proposes COTA, a system to improve speed and reliability of customer support for end users through automated ticket classification and answers selection for support representatives. Two machine learning and natural language processing techniques are demonstrated: one relying on feature engineering (COTA v1) and the other exploiting raw signals through deep learning architectures (COTA v2). COTA v1 employs a new approach that converts the multi-classification task into a ranking problem, demonstrating significantly better performance in the case of thousands of classes. For COTA v2, we propose an Encoder-Combiner-Decoder, a novel deep learning architecture that allows for heterogeneous input and output feature types and injection of prior knowledge through network architecture choices. This paper compares these models and their variants on the task of ticket classification and answer selection, showing model COTA v2 outperforms COTA v1, and analyzes their inner workings and shortcomings. Finally, an A/B test is conducted in a production setting validating the real-world impact of COTA in reducing issue resolution time by 10 percent without reducing customer satisfaction

Conformance relations for distributed testing based on CSP

Copyright @ 2011 Springer Berlin HeidelbergCSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems. Recently, a testing theory for CSP has also been presented. In this paper, we explore the problem of testing from a CSP specification when observations are made by a set of distributed testers. We build on previous work on input-output transition systems, but the use of CSP leads to significant differences, since some of its conformance (refinement) relations consider failures as well as traces. In addition, we allow events to be observed by more than one tester. We show how the CSP notions of refinement can be adapted to distributed testing. We consider two contexts: when the testers are entirely independent and when they can cooperate. Finally, we give some preliminary results on test-case generation and the use of coordination messages. © 2011 IFIP International Federation for Information Processing

Peptide-directed co-assembly of nanoprobes on multimaterial patterned solid surfaces

This is the published version. Copyright 2012 Royal Society of ChemistryBiocombinatorially selected solid-binding peptides, through their unique material affinity and selectivity, are a promising platform for building up complex hierarchical assemblies of nanoscale materials and molecular probes, targeted to specific practical solid surfaces. Here, we demonstrate the material-specific characteristics of engineered gold-binding and silica-binding peptides through co-assembly onto micro- and nano-patterned gold surfaces on silica substrates. To build hierarchical nanostructures on patterned solid surfaces, we utilize peptides as molecular tools and monitor their behavior by either conjugating biotin to them for specific affinity to streptavidin-coated QDot nanoparticles or labelling them with small fluorescent labels. This biomimetic peptide-based approach could be used as an alternative to conventional chemical coupling and surface functionalization techniques with substantial advantages, allowing simultaneous assembly of two or more inorganic nano-entities and/or molecular probes onto patterned inorganic solid substrates. The results have significant implications in a wide range of potential applications, including controlled assembly of hybrid nanostructures in bionanophotonic and biosensing devices

Overcoming controllability problems in distributed testing from an input output transition system

This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 Springer VerlagThis paper concerns the testing of a system with physically distributed interfaces, called ports, at which it interacts with its environment. We place a tester at each port and the tester at port p observes events at p only. This can lead to controllability problems, where the observations made by the tester at a port p are not sufficient for it to be able to know when to send an input. It is known that there are test objectives, such as executing a particular transition, that cannot be achieved if we restrict attention to test cases that have no controllability problems. This has led to interest in schemes where the testers at the individual ports send coordination messages to one another through an external communications network in order to overcome controllability problems. However, such approaches have largely been studied in the context of testing from a deterministic finite state machine. This paper investigates the use of coordination messages to overcome controllability problems when testing from an input output transition system and gives an algorithm for introducing sufficient messages. It also proves that the problem of minimising the number of coordination messages used is NP-hard

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Assembly of a heptameric STRIPAK complex is required for coordination of light-dependent multicellular fungal development with secondary metabolism in Aspergillus nidulans

This work is licensed under a Creative Commons Attribution 4.0 International License.Eukaryotic striatin forms striatin-interacting phosphatase and kinase (STRIPAK) complexes that control many cellular processes including development, cellular transport, signal transduction, stem cell differentiation and cardiac functions. However, detailed knowledge of complex assembly and its roles in stress responses are currently poorly understood. Here, we discovered six striatin (StrA) interacting proteins (Sips), which form a heptameric complex in the filamentous fungus Aspergillus nidulans. The complex consists of the striatin scaffold StrA, the Mob3-type kinase coactivator SipA, the SIKE-like protein SipB, the STRIP1/2 homolog SipC, the SLMAP-related protein SipD and the catalytic and regulatory phosphatase 2A subunits SipE (PpgA), and SipF, respectively. Single and double deletions of the complex components result in loss of multicellular light-dependent fungal development, secondary metabolite production (e.g. mycotoxin Sterigmatocystin) and reduced stress responses. sipA (Mob3) deletion is epistatic to strA deletion by supressing all the defects caused by the lack of striatin. The STRIPAK complex, which is established during vegetative growth and maintained during the early hours of light and dark development, is mainly formed on the nuclear envelope in the presence of the scaffold StrA. The loss of the scaffold revealed three STRIPAK subcomplexes: (I) SipA only interacts with StrA, (II) SipB-SipD is found as a heterodimer, (III) SipC, SipE and SipF exist as a heterotrimeric complex. The STRIPAK complex is required for proper expression of the heterotrimeric VeA-VelB-LaeA complex which coordinates fungal development and secondary metabolism. Furthermore, the STRIPAK complex modulates two important MAPK pathways by promoting phosphorylation of MpkB and restricting nuclear shuttling of MpkC in the absence of stress conditions. SipB in A. nidulans is similar to human suppressor of IKK-ε(SIKE) protein which supresses antiviral responses in mammals, while velvet family proteins show strong similarity to mammalian proinflammatory NF-KB proteins. The presence of these proteins in A. nidulans further strengthens the hypothesis that mammals and fungi use similar proteins for their immune response and secondary metabolite production, respectively

Thermal Degradation of Adsorbed Bottle-Brush Macromolecules: Molecular Dynamics Simulation

The scission kinetics of bottle-brush molecules in solution and on an adhesive substrate is modeled by means of Molecular Dynamics simulation with Langevin thermostat. Our macromolecules comprise a long flexible polymer backbone with $L$ segments, consisting of breakable bonds, along with two side chains of length $N$, tethered to each segment of the backbone. In agreement with recent experiments and theoretical predictions, we find that bond cleavage is significantly enhanced on a strongly attractive substrate even though the chemical nature of the bonds remains thereby unchanged. We find that the mean bond life time decreases upon adsorption by more than an order of magnitude even for brush molecules with comparatively short side chains $N=1 \div 4$. The distribution of scission probability along the bonds of the backbone is found to be rather sensitive regarding the interplay between length and grafting density of side chains. The life time declines with growing contour length $L$ as $\propto L^{-0.17}$, and with side chain length as $\propto N^{-0.53}$. The probability distribution of fragment lengths at different times agrees well with experimental observations. The variation of the mean length $L(t)$ of the fragments with elapsed time confirms the notion of the thermal degradation process as a first order reaction.Comment: 15 pages, 7 figure

Brownian Carnot engine

The Carnot cycle imposes a fundamental upper limit to the efficiency of a macroscopic motor operating between two thermal baths. However, this bound needs to be reinterpreted at microscopic scales, where molecular bio-motors and some artificial micro-engines operate. As described by stochastic thermodynamics, energy transfers in microscopic systems are random and thermal fluctuations induce transient decreases of entropy, allowing for possible violations of the Carnot limit. Despite its potential relevance for the development of a thermodynamics of small systems, an experimental study of microscopic Carnot engines is still lacking. Here we report on an experimental realization of a Carnot engine with a single optically trapped Brownian particle as working substance. We present an exhaustive study of the energetics of the engine and analyze the fluctuations of the finite-time efficiency, showing that the Carnot bound can be surpassed for a small number of non-equilibrium cycles. As its macroscopic counterpart, the energetics of our Carnot device exhibits basic properties that one would expect to observe in any microscopic energy transducer operating with baths at different temperatures. Our results characterize the sources of irreversibility in the engine and the statistical properties of the efficiency -an insight that could inspire novel strategies in the design of efficient nano-motors.Comment: 7 pages, 7 figure